perm filename CMSL10.360[360,GF]2 blob sn#848956 filedate 1987-11-21 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β8↔&∩p→'#⊂→π∧  H$2⊂⊃¬ ∃x↓↔@5p↓W Ehα↔eX↓ EX@@EP↓@EP@`EH↓`EHAU@A@E@A@E8A`E8A`E0BE0B E(B@E(B@E B`E λ∀b∃_C E⊂C@E⊂C@EλC`EλC`EDUD Dx↓∧ DhαC`TP¬α!dP¬α!T("⊂Dα⊂⊂H Q0'F
@ ¬A*@ ε↓*@ εA*@ εA*@ π↓
0 πA
0 πA
0 π↓*0 π↓*0 εA*0 εA
  εA
  ¬A*  ∧A*!⊂)↓↓0()↓↓@((A↓`((A↓`((A↓p (A↓p((A↓p((A↓p((↓α (↓↓p((↓↓p((↓↓`((↓↓P((↓↓@('A! 0%ε)!0"Qλ2∪λd!βB∃8ε↓ %(β↓@0_↓∀`PX↓ 5⊂αβ@Uλα∧Eα∧ Dxα∧`4pα¬$hαE$hα¬@∀`αE@∀`α¬`∀XαE`∀XαR@TPαR@TPαR@TPαR@DPα∩@A8R@Q0R@Q(R@Q(R`A(R`Q_SA⊂S A↓∪@@p↓∪`@`↓∀P8↓T!U βQ(D ⊃I$∩λαEIq@*↓↓0(*↓↓P *↓↓` *↓↓p *↓↓p )Aα⊂ )Aα⊂ )Aα⊂()Aα⊂()Aα⊂()Aα⊂()↓α ()↓α ()↓α ()↓α ()↓α ()↓α ((Aα0 (Aα ((Aα ((Aα  (Aα⊂((Aα⊂ (↓α⊂((↓α⊂ (↓α (↓↓p (↓↓` (↓↓@('A! 0%ε	!("QλRλ⊃H$⊂(∞∪cE αβ U αβ`5 α∧% α∧% α∧ ∃_α∧@∃_α∧@∃_αα ⊂@T`@HB∃_αα ⊂@T`@@↓∀@@HT@@8↓TAe⊂π∀@@8↓T@@@↓∀ @HT @HT @HB@∃λαα ⊂PT A_T A_TA TA_TA_TA⊂↓∀Aλ↓∀A↓S`Phβ∩CDP∞⊃(D0⊂Hd∩λαG	q`*↓↓P(*↓↓p_*↓α⊂*↓α⊂*↓α⊂λ)Aα λ)Aα λ)Aα λ)A↓⊂λ∧*0 ∧@!λ)A↓⊂)↓↓⊂λ)↓↓⊂λ)↓p_)βJ p)↓p_(A↓⊂λ(A↓⊂λ(A↓⊂λ(A↓⊂λ(A↓⊂λ(A
 (↓
 (↓
 (↓	p(%∧	 x"Qλr∪λd!βB∃8ε↓ %(β↓@0_↓∀`PX↓ 5⊂αβ@Uλα∧Eα∧ Dxα∧`4pα¬$hαE$hα¬@∀`αE@∀`α¬`∀XαE`∀XαR@TPαR@TPαR@TPαR@@pπ∩@@pπ∩@A α∩@Q_α∩@Q_α∩@Q⊂α∩`A⊂α∩`Qλα∪Aλα∪ @xαS@@pαS`@`@@%β↓@0_↓∀!P(Ut("∩∧b@⊂H Px↓Cipx↓Cj@(εA*@ π↓
@ π↓
@ π↓
@ π↓
0 π↓
0 π↓
0 π↓
0 π↓
0 π↓
0 π↓
  π↓
  π↓
!0)¬J  π↓
  π↓
⊂ π↓
⊂ π↓
⊂ π↓
⊂ π↓
⊂ π↓
⊂ π↓
 π↓
 π↓
 π↓
 π↓
 π↓
 π↓	p(εA) pαβI pαβHT $Eαbλ⊂A!txπUU α∃E α∃E_α∀`E_α∀`E_α∀`E⊂α∀@E⊂α∀@E⊂α∀@Eλα∀ Eλα∀ Eλα∀ Eα∀Eα∀Eα∀DxαRAtPπ⊃(DPεd"λ¬βJ@p-↓  -↓  -↓⊂ ,A⊂ ,A⊂ ,A ,↓ ,↓ ,↓
p +A
p +A
p +A	@⊂∧↓	0(β↓	 0β↓	 0β↓	 0αA	 (β↓	 λ∧A	0λ∧i@⊂αi`("Q	28∀H$⊂(πB↓4xπB↓% αC`U α∧% α∧∃ αβ`∃ αβ %_αβ ∃_αβ∃_αα`∃_αα@∃_αα ∃_α↓`∃⊂α↓`%⊂α↓@E⊂α↓ U⊂α↓⊂⊂α∀@@⊂↓`E⊂α ⊂0α∀ @λA`EλαBUλαα@Eλαα@Uλαα`Eλαα`Uαβ Eαβ Uαβ@Eαβ@Uαβ`Eαβ`TxαC`dPπα↓DPπα↓D("∪βAp⊂H Q'D
@(*↓
@ *↓
@ )A
0 )A
0 )A
0 )↓
  )↓
  )↓
  (A
⊂ (Aαλ(Aαλ(A↓p⊂(A↓pλ(↓αλ(↓↓p⊂(↓↓p⊂(↓↓`⊂(↓↓P_(↓↓@ 'A! 0%ε)!H"Q	Rx_H$⊂(∧Ea$x∧EA5 @ 1(β∃⊂λ↓E⊂λα∃⊂λ↓E⊂λα∃⊂λ↓D`⊂⊂α∃⊂⊂↓D@⊂⊂α∀`⊂_↓D ⊂⊂α∀`⊂_↓D⊂_α∀`⊂_↓D⊂_α∀`⊂_↓C`⊂ α∀`⊂ ↓C@⊂ α∀`⊂ ↓C ⊂(α∀@⊂(↓C ⊂ α∀@⊂(↓C⊂(α∀@⊂0↓B`⊂(α∀@⊂0↓B@⊂0α∀@⊂0↓B@⊂0α∀@⊂0↓B ⊂8α∀ ⊂8↓B⊂8α∀ ⊂@↓A`⊂8α∀ ⊂@↓A@⊂@α∀ ⊂@↓A@⊂@α∀ ⊂@↓A ⊂Hα∀ ⊂@↓A ⊂Hα∀⊂P↓@`⊂Hα∀⊂P↓@`⊂Hα∀⊂P↓@@⊂Pα∀⊂P↓@@⊂Pα∀⊂Xαα`Dx↓α`0`α∪@@P↓B`TP¬A` 8π∩A08↓↓ad("∪Db@⊂H PP¬C	pP¬C
@0π↓
@λA↓pλ* ⊂(π*@λ↓↓↓`λ*   π*0λα↓↓@λ)@ @ ε*0λαA↓0λ)@ P ¬@*0λβ↓↓ λ)@ ` ¬* λ∧↓↓λ)! ∧* λ∧Apλ)!⊂ β@* λ¬↓`λ)!  β*⊂λε↓@λ(@!@ α*⊂λε↓ 0λ(@!P ↓@*⊂λεA0λ(@!` ↓*λπA⊂λ("(("(("⊂ ("⊂ '@B _'↓α⊂⊂%αapλ%αapλ"Q	r∪λd xβU@@(α∃@Hα∀`0`α∀@0pα∀A↓S`Aλα∪`1_α∪@A_α∪ A α∪ A αSA(αSA(αR`Q(αR`Q(αR@Q0αR@Q0αR@Q0αR@Q0αR@Q0αR@Q(αR@A0αR@A0αR@A(αR@A(αR@Q α∩@Q_αR`A_α∩`A⊂α∪Aα∪@xα∪ @hα∪@0`α∪`@H↓T 00↓Ta∧("∀∧α⊂⊂H Q('Ej@ ¬↓J@ ε↓*@ εA
@ εA*@ εA*0 π↓*0 π↓*0 π↓*0 π↓*0 π↓
0 εA*  π↓
  εA
  ε↓
  ¬↓*!λ)↓
⊂ (A
⊂ (A
⊂ (A
 (↓
 (↓
 (↓	p(%βI p"Q
∩∪∧ xβU@@(α∃@Hα∀`0`α∀@0pα∀A↓S`Aλα∪`A⊂α∪@A_α∪ A α∪ A αSQ αSA(αR`Q(αR`Q(αR@Q0αR@Q0αR@Q0αR@Q0αR@Q0αR@A0αR@A0αR@A0αR@A(αR@A(αR@A(α∩@Q_αR`A_α∩`@8α↓`D`↓A@⊂ A D`α↓⊂0A4hα`⊂0@`4p↓@@⊂8β∪`0⊂A@Eλα↓ 0HTa HV` HV`08V`00↓⊗`@ ↓Va%`∧W↓¬hβ↔@D("∀D2(⊃λ Q 'Ej@ ¬↓*@ ε↓
@ εA
@ εA*@ εA*0 π↓*0 π↓*0 π↓*0 π↓*0 εA*0 εA
  εA
  ε↓
  ∧A* x)↓↓_)↓↓ ⊂(A↓0_(A↓@_(A↓@_(A↓@ (A↓@ (A↓@ (↓↓@((↓↓@((↓↓@((↓↓@((↓↓@(β@* ε↓ `λ'A!@(β) p∧A @λ%βA  ↓@L@("Q
1P∞Hd `β↓`∃ ¬↓%⊂α↓@0⊂↓∀ 0PαT  h↓T p↓S`0x↓∪`0x↓∪@1S@1S@1S@Dpα∪@Txβ∪a%ε∀!U_ε∃a∃XαWEhα↔ Ehα∪⊃α∩`⊃λ↓R`⊃λ↓R`!↓R`!↓∩` x↓R`0h↓R@PX↓R@0λα↓@DP↓aDPA`t("∃∧α0⊂H 1h&πI@ ∧A↓ &A0 ¬I@λε↓↓0λ%@A@ ¬@)0λεA↓0λ%@!@ ε)0λε↓↓@λ%!P ε) λεA↓@λ%!P ε+ +A
p +A
p +A
p +↓
` +↓
` +↓
` *A
P *A
P *A
P *↓)Q⊂&DHT *H%α⊂⊂@↓p0ε∩Ap0ε∪`Pxα∪`AλS`AλS`AλS`AλS@AλS@AλS@AλS@AλS@AλS@AλS AλS AλS AλS AλS AλS AλSAλSAλSAλSAλSAλSASASAS@xS@p↓∪ 0pS @`S@0P↓∪`@0↓T↓5_β⊃(E0⊃J$"λβA0P%β!@P'↓"  'Aα0⊂'Aα0λ'Aα λ(↓α⊂λ(↓αλ(↓αλ(↓↓pλ(↓↓`⊂(A↓Pλ(A↓@λ(A↓@λ(A↓0λ(A↓0λ)↓↓⊂λ)↓↓⊂λ)↓↓λ)↓↓λ)↓pλ)A`λ)APλ)A@⊂)A@λ)A0λ*↓ λ*↓⊂λ*↓⊂λ*↓*@(*@jP_*@JP⊂"Q
sλ≠HD⊂εAAP0¬RAP0ε↓a4pαC Ppα∪@Ppαβ`$xαβ@@xS`@pαβ`∀xαβ@@pS`@hββ ∀xαβ ⊂λαβ∀xαβ⊂⊂αβ∀xαB`⊂⊂αα`∃αα@⊂_αα`∃αα@⊂_αα@∃αα ⊂ αα@∃αα ⊂ αB∃αα (αα∃αα⊂0α↓`∃λα↓`⊂0α↓`∃λα↓@⊂8α↓@∃λα↓@⊂8α↓@∃λα↓ ⊂@α↓ %λα↓ ⊂Hα↓∃λα↓⊂Pα↓∃λα↓⊂Pα`∃⊂α@⊂Xα`∃⊂α@⊂Xα@∃⊂α ⊂`α@∃⊂α ⊂`α ∃⊂αC@U⊂αC@E⊂αβ`E_↓C`5_↓∧5_↓∧%_D $("⊗∧R0⊂H `pβαjhβBjP0¬A*` ε@J` εJp ¬@*p ¬*p(∧+ β@+(α@K⊂ α@+⊂(↓@+  ↓+ 0-A0(.↓@(-@ ⊂ -  (,@@0 ,@@(, ` +@ p +!⊂ *@!  *A (*!@ )@!P()!p (@Ap('A!`(%β↓⊂h%β↓⊂h"Q∩_∀H$⊂εC↓$PεC↓$xαD DxαD %α∧ ∃α∧∃αC`∃λαβ@∃λαC∃⊂αα`∃⊂αB@∃_αα ∃_αα∃_αA@∃ α↓ % αA∃(α`∃(α@ ∃(βU@U0α∃@E0α∃@E0↓U E(α∃ E(α∃ E(↓UTxπ∪ad("⊗CR⊂H q0(¬J0¬A* εA
⊂π↓	p⊂π↓	p⊂εA	pλπ↓	pλεA	`λεA	`λε↓	`λ¬A+  ,A +A*p +↓
P *↓
@ ¬@*0 ε*  ε@*⊂ ε@J(ε@* π)p πI` π@IP(πIP πi@ π↓	0 ε↓i!8%¬hT 0EC⊃ 
↓A∧p↓A@4hαA`$hαA`4hαα $p↓α@5H↓V 5 ∧∀P ↓S@@8↓S @@↓S0H↓R`@H↓R@@P↓A∀Pαα@0 R@@Hα↓∀Pαα @ R@@@@ 0_R`@(↓@@λS p(α⊃(F⊂εd"⊂αA	@8&↓Ip_'@ip_'@ip_'i`_'i`_'i`_&@`@0&@` ⊂α@iP_@!⊂⊂&A↓ _&@a@_&@a@_&aP &aP &aP &aP &aP &aP %@aP %@aP %@aP_%@a@ %@a@_%@@⊂λ¬i _@!⊂_%@0⊂α@i λβ↓HT 1DBa 
α↓¬↓A 4x↓↓@Tp↓↓`Th↓A`D`↓B $Xα∩`4Pα∩@DPα∩@DPα∩@4Pα∩@@`R`0XR`0XS0@↓∪ 0(↓∪`d("→β↓`⊃λB@ -Ak00/k`_/k`_/kP_.@kP_.@kP_.@j00↓@j α@  _'@aλ@i`_¬↓	P_εi@_ε@i0 εi0_ε@i  ε@i  ε@i  ε@i  ε@i _ε@i _ε@i _ε@i  εi0_¬A	0_¬↓)@_∧ ⊂ &@`P⊂↓↓ip0α↓hT 2Dba 
α e↓A 4x↓A`4p↓α@4h↓B@4`↓B`4Xαα`4X↓C4P	R@DPα∩@DPα∩@4P↓R@@hR`0`S `S  H↓∪@0(↓∀d("→BQ0⊃λAp +@@0⊂*@`0 *@@0(*`0()@`P_)@j0_)j _)j _)j _&β)@h(@j⊂_(@j⊂_(j_(j_(j_'@ip_'@ip_'@ip_'↓	 `%βλT 3FC"
E@5(β` ⊂↓∀`0 ↓ ⊂_↓T@0(↓A5λ↓A`5α↓`5α↓`4xα↓`Dxα↓`Dxα↓`Dxα↓`5↓A@Eλ↓↓@5@   ↓∀⊂⊂β∪`∀xS`∀x↓∪aTxπSb∧h↓B`T`↓∧$X↓∧ $X↓∧ $P↓∧@$P↓∧@$XD $X↓β`$`↓β $p↓α5∧Q(F@FD"⊂∧A
8(↓J0_)@j0_)@j0_)j _)j _)j _(@`P0(@`0⊂α@J⊂_@@p_(A↓ _(A↓ _(@a0_(↓↓ _(a0_(a0_(a0_(a0_(a0_'@a0_'@a0_'@a0_'@a0_'@a0_'@a0_'↓↓  %α`0X%α`0X"Q
⊂`εH$⊂H↓T@EλαT@E⊂↓Qa8↓S@dhβTEλ↓T 5↓T5↓T5↓T4x↓S`4x↓S`4x↓S`4pα∩A4P¬Q(FP	βe2λπ@K +A*p(,hp@ε@j08)Aj` +@jp_+j`_+j`_+j`_*@jP_*@jP_*@jP_*j@_*j@_*j@_)@i0_α@i (αi (↓@i  αI0⊂αI@("Q
1P
HD Hα∀uβ∀`5_↓T`5_↓T`5⊂↓T@5⊂↓T@5⊂↓T@5λ↓Aa∃λ↓Aa∃λ↓BEλ↓B%λ↓A`∃λ↓A@∃↓A %↓A∃↓@`5↓@ Uα@E↓A4x↓A Dx↓A@4x↓A`4x↓A`4x↓B4x↓BDpααTP¬@a$P¬@a∀("≠↓Pp⊃λA⊂ (↓j0)@j0_)@j0_)@j _)j _)j _)j⊂_(@j⊂_(@j⊂_(@j_(j_(j_(ip_'@ip_'@ip_'@i` %αi X"Q
R8∀¬α@8↓A `@β∪ p_↓↓  (↓↓ $hβ@  8↓@@ 8↓TPPαα@5λαα@@P↓T 0X↓B`5αα@@P↓T0X↓B`5↓B`0X↓T0X↓B`5↓B`0X↓T0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4pαα@@Pα∩A0_¬@a4P¬@a0_¬Q(FpFBA β@`P0&A`0⊂α@IP8@@p_(↓! _(A↓ _(@a0_(↓↓ _(a0_(a0_(a0_(a0_(a0_'@a0_'@a0_'@a0_'@a0_'@a0_'@a0_'↓↓  %α`0X%α`0X"Q
q0Eα@HβT 0(↓S`0@↓S@0P↓S 0`↓S0h↓R`@hα∩`0pα∩@@pα∩@@pα∩@@pα∩@@pα∩@0pα∩@0pα∩@0p↓R@@`α∩`0`↓R`0X↓S0H↓S@0(↓Td("≤β1X∂¬↓_α↓I`8↓@P_'↓`⊂λ∧j  ¬j _¬A
 _εj⊂_εA
⊂_εA
⊂_εA
⊂_εA
⊂_εA
⊂_εA
_εA
_εA
_ε↓
_ε↓
_¬A
 ¬ip_@! '@` ⊂α@ip_α↓Ip_'@ip_'i`_'i`_'i P%αHT 8Eβ↓p
α`(T0(A∀x↓A`⊂⊂↓∪@0Hα∪ 0Pα∪0Xα∩`@X↓R`@X↓R@@`↓R@@`↓R@@`↓R@@`↓R@@X↓R@@X↓R@@X↓R@@X↓R`0Pα∩`0H@ 4`↓A`⊂λ↓S 0 ↓@4xαA5@↓V5@↓U`58↓U`58↓U`5_¬∀a$("≤BA(
¬p_α↓)P8↓@ 0_&A`⊂⊂↓A
 @ @ (A`⊂(@j (j_(j_(ip_'@ip_'@ip_'@i` %β	 `"Q∞1λ	Eα@8β@@∀x↓↓`4p↓α $h↓α@$h↓α@$h↓α`∀h↓α@∀hα∪!∧p¬∀↓∃_β∃`4XB`4XC$XC$X↓α`∀X↓α@$Pαα ∀P↓@⊂0↓∩@⊂ β⊃(G π∧Cap∧* λ)*⊂⊂(@*⊂λ(J⊂'@i` &BI h'i`_'i`_&@iP_&@iP_&@iP_&``λ&``λ&``λ&``λ&``λ&`Pλ&`Pλ&@`0λ'AλT :EC! 
↓0X↓R@p8βR@p8βS @Pα∪@0X↓S@0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S 0X↓S0X↓S0X↓S0X↓S0X↓S0Pα∪0H@ 4h↓α⊂λα∪ 0(↓@txβ↓t("≥BqX
¬Pβ↓i Pβ↓i`_¬↓	`_¬@)`_¬)`_¬)p_∧)p_∧)p_β@)p_βJ_α@*_α*_α*_↓@* ↓*⊂_@*⊂_@*⊂ (@j ⊂)(T ;HDa 
↓ ⊂¬↓↓∧P¬A⊂ ∧∪ @@ααDp↓B  PS@0H↓α@∀p↓B@@S@08αB∀p↓A`⊂λ↓A`∀x↓A  ⊂↓↓`∀x↓A ⊂_↓↓@∀x↓A⊂ ↓A ∀x↓A⊂ ↓A∀x↓@`⊂(↓@`$xα@⊂0↓`∃↓@ ⊂8↓@%↓@ ⊂8↓@ ∃ααEααE↓B@%λ↓α@%λB`∀("≡β!X
¬0PαB	PPαα*⊂ βA
 _∧* _β@*0_α@*@_↓@*@_↓*P *@j`_*A*@⊂@j0⊂↓@j ⊂αj⊂⊂βj⊂λβ@ip⊂∧@iP ∧A	 @βαI @βαHT <Fc1p
↓↓ 0βSA 0βT@0Pα∀@0XT@0PT@0PT`0@T`0@T`08T`00↓∃0(U0 U0 U0_U@⊂U 0λU 0λU E(↓U@%0U@∃(U ∃ R`@ R@P R@P_R@@_R`⊂ SD("≡BQ0
¬Q'A↓⊂_'@A _'A _'! _'!⊂_'!_&@!_*@j@_)@j _(@aλ(↓↓λ(a⊂λ'@a⊂⊂'a λ&@a ⊂&a _%@a _%∧(T πd∩λ⊂A#$x
∃@`α∃@h↓U@p↓∃@xU@xT`AT`AT`AT`AT`AT`E⊂α∀@E⊂α∀@E⊂α∀@Eλα∀ Eλα∀ Eλα∀ Eα∀Eα∀Eα∀DxαRB∧PπQ(@λ∩Id"⊂@L⊂⊂0↓p(/A+`λA+Pλ↓APλ↓A@λα↓+0λβ↓0λβ↓+ λβA+⊂λ∧A⊂λ∧A+λ¬↓*pλε↓
pλε↓*`λεA*PλπA
PλπA*@λλ↓*0λ	↓
0λ	↓* λ	A*⊂λ
A
⊂λ
A*λA	pλ↓	`⊂↓)`λ
↓	Pλ
A	@⊂
A)B⊂%Hi"("Q"∪λd xβU@@(α∃@Hα∀`0`α∀@0pα∀A↓S`Aλα∪`A⊂α∪@A_α∪ A α∪ A αSQ αSA(αR`Q(αR`P_C⊂ αR@P C⊂ αR@P π↓TPαA↓` αR@P π↓TPαA⊂`ATPα↓⊂`ATPα¬@TPα¬@TPα¬ TPα¬ TPα¬ DPαD`TXα∧`DXα∧@D`↓D D`α∧4hαβ@4p↓CDx↓B@5λ↓A@5_∧⊃(@_∂H$"⊂
+`⊂.@kP_.↓@ -A+00-   -   ,@ 0 ,@ 0 , @ , @(+@ P(+@ ` + p + p *@! *@!(*!⊂(*!  )@!0 )@!0 )!@ )!@ (@!P((@!` (!p (!p '@" 'B &A↓p(%αAh%α!⊂h"QB⊂∩λ$⊂0∞∪cDx∞∪`⊃PS`⊃PS`⊃PS`⊃PQ`PHD∃⊂D∃⊂D∃⊂	∀B%⊂	∀@⊃T ⊃T ⊃Q`PλF@∀XF@∀XF@∀XF@∀XF $P∞∩CDP∞⊃(@(∪
∧∩λαH)rλ*↓↓`(*↓↓` *↓↓` *↓↓` *↓↓` )A↓` )A↓` )A↓` )A↓` )A↓` )A↓` )↓↓` )↓↓` )↓↓` )↓↓` )↓↓` )↓↓` (A↓` (A↓` (A↓` (A↓` (A↓` (A↓` (↓↓` (↓↓` (↓↓` (↓↓` (↓↓` (↓↓` 'A!P(%β@@p%β@@p"Qb⊂∩H$⊂0∞∪cUαDeαD`5λαD`%⊂α∧`%⊂αD@%_α∧`∃_αD@∃ α∧@∃ αD ∃(α∧ ∃(αU@E0αU`E8αVE@↓V ∃@U`∃(↓∧ ∃ D`∃_D`∃⊂E∃λE%E $xE $pE 4hE D`D`tX
RCD("↓dα@⊃λ@P(π↓)P@¬B	@P∧BI0`βBi0⊂β↓` βi ⊂∧↓@ ∧I λ¬`0 ¬) λ¬`0_¬@*`_@j`_@j`0+↓J`(+↓*`(+↓
` +↓
` +↓
P *A
P *A
P *A
@ *↓
@ *↓
@ *↓
0(&D)Q"Q↓↓h⊃H$⊂HλTb∃HαV EHα⊗ EHα∃!%⊂α@@λα∀@ α↓4pα↓@@(↓S @8α↓ D`αα@0α∩`P8α↓`DXαα@8αR@P@α↓`TPαB@8αR@P@α↓`TPαB@8α∩@P8α↓`TPαA`@8α∩`@8α↓@TXα↓`@0α∪@0α↓ 4hα↓ @_α∪`@⊂α@E⊂∧U E(α∃ E(α∃TpλSB∧("α$α8⊂H!⊃λ)D+⊂(,A⊂ ,A⊂ %↓!⊂ ∧A)@ ∧↓↓ &Ap ∧↓	P βAp &Ap βA	P βAp &↓p βA	@ βAp &↓p βA	@ βAp &↓p β↓	@ βA` &↓` β@iP_β↓` &AP βi`_αAP_'↓@ αip_α↓0_(@`⊂ A
0@*A
P *A
P *↓)aλ'∧λT ¬λ$B⊂⊃∧↓¬8α↓@E(αα@5 ↓C E_↓C`EλαC`Eλα∧ Eα∧@DxαD@Txα∧`TpαD`TpαD`TpαD`TpαD`TpαD@TpαD@TpαD@DpαD TpαD Dxα∧Dxα∧E↓C`E↓C`5↓C@5λ↓C 5λ↓C5⊂↓β$PA` X↓↓`∀PB⊂X↓↓`∀XA`⊂XA`∀XA`⊂PB∀XA`⊂PA`∀X∧BA∀X∧B!$X∧B!∀("αQH⊂H↓0()`@_(@`p⊂(a_'@a ⊂'a0_'a0_&A↓0_&@a@_&@a@_&↓↓@_&↓↓@_&a@ %A↓@ %A↓@ %A↓@ %A↓@ %A↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@_%↓↓0 %↓↓0 %↓↓0_%↓↓0_%↓↓ _%@a _%@a⊂_%@a⊂⊂&`p⊂&@`@_'AHT _CbB⊂β ∃(↓T`Tp¬∪@P⊂↓U 5 ↓U5 ↓U5 ↓U5_↓T`5_↓T`5_↓T`5⊂↓T@5⊂↓T@5⊂↓T@5λ↓T 5λ↓T 5λ↓T 5α∩AtPπQ(C⊂εDαε↓J0X)`P0(@! ((!@ '@!P('A↓0 '↓A  '↓A  '↓A  '↓! ((A0 .A@ .↓0 -↓⊂ ,↓
p_+jP_*J0⊂)J⊂⊂¬@*λε@)pλπ)`λπ)@⊂π@)1_%∧i!_"Qε10H$XβTa%λ↓A@U↓α Txαα DxαBDpβαDpβαDxαα E↓α UXα⊗@EP↓V 58↓T@u@↓V 5Hα⊗@EPα⊗@EPαS ⊂`αR`PHαR@`HαR@`HαR@`Hα∩@PHαR@ XαR` Pα∪00αS!4xβQ(C ε$α	+0⊂-k⊂ ,Aλ@jpλ@j`λ↓jPλ↓@j@⊂↓@j0⊂αj0λα@j λα@j⊂λβjλβ@ipλ∧i`⊂∧i`λ∧@iPλ∧@i@λ¬i0λ¬@i λεi!0%¬J`_+j`_+j`_+jP (β*h"QεQ0H$@C∃⊂↓A`Eλπ∀!Uλ¬T ⊂λβT ∃λT∃T∃T⊂_β∀⊂λ↓↓ 4x@ ⊂@↓S` P↓∪`⊂X↓V`5Xα⊗`EXα⊗`D`↓CDXαB`DPβα@DPαB`DPαB`4PC@DXC 4XC4`B@4`↓A@Dp¬∪`d("
BaP⊂H↓P0*B*0 βJ _∧@*⊂_βA*_∧↓)p_∧↓)` ∧A	`_&A	P_&↓	@ ↓AI@_↓@ P⊂%A λβ@I0 @!⊂⊂%A! _%A↓0_%↓!0 %↓!0 %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓0 %↓↓0 %↓↓0 %@a0_%@a _%@a⊂_&`p &@`P_'α)p0"Qεq(∞λD⊂_S4`	Sα4`	∩` xR`⊂xR`⊂xR@⊂xR@⊂pV∃8U@∃(U ∃ T`%⊂↓T@%λ↓T 5↓T4xα∪`Dpα∪@DhαS ThαS T`αST`αS 4("∞αaH⊂H↓08)BJ _β↓
⊂⊂¬Jλε@Ip⊂ε@IpλπI`⊂πI`⊂πI`_ε@I` ¬@I`(∧@Ip0βJ0αJ⊂H)↓j08(@@ 8'@@P8'A(&@A (&A@ %@A`_%@Ap⊂%B⊂%B⊂%B⊂%Bλ%a`⊂%@AP⊂&A0⊂&↓` 'αJ0"Qπ⊃(H$Pβ∀A%λα↓ 5↓B4x↓B 4p↓B`4hαα`4h↓C4`αβ4`αβ4`αβ4`αα`DXαβDXαβDXαβD`↓B`T`↓B`T`↓B@⊂λα∪ 0HαS@ @@ Dx↓↓  ⊂α∀ P ↓V EHα⊗ 5@α∩`0P↓R@P@↓R@P@↓∩@@@↓R@⊂Hα∩@00↓Ra$hβ⊃(B εDr ε@Jp⊂*AJ0P(A⊂⊂↓@j_↓@@P⊂'@`@⊂β)p⊂α@@`λ'`P⊂α@I`_α@@0 &@`P⊂↓A)P_α@@0(&@`P⊂αiP αIP αI` ↓@I`@'B*P(BJ0@*@⊂()@@0 )@@@ )@@@ &`@⊂α@i0(↓@@P_%A 0⊂α@i (↓@@P_% ⊂⊂α@P_%@`⊂α@I0λβ@@_%@ `⊂↓@i0⊂α@@ _&` ⊂↓iPP'AJ⊂⊂(@J⊂⊂"Q∧b ∪I∧0xα⊗ _U@ 0U@ 0U  8U08U08U @U 8T`08T`00T`0(T`0 T`0_T`0⊂U@`¬∃0h¬∃0xαU1↓∀`PpT@⊂⊂↓C@∃λ@`0hS`  αα`∀p↓↓@0PS  8αα ∀`↓B0@R`@@α↓@∀X↓B@0(R@@Pα`∀Pαα`0⊂R@@XαC∀PαB`@X↓∩@PXαα`∀Xαα@ λ↓B $`αA @_α↓ 4h¬AA$xβα`d("∂b⊃H⊃λ@P8&@@` &! _%@!0_%↓↓⊂ %↓! %↓! %↓↓⊂_%@A⊂ +jP_*j0_)J⊂⊂(@*⊂()pλ'@)`⊂')`λ')`λ#A  ⊂%A	 (%A	0_"Qπaλ	HCX↓UU αUE(↓⊃`PPU∃ U∃ T`∃_T`∃⊂T %λ↓∀$x↓∪@4`α∪4Xαα 4XααDPααTPααTPαα DX↓B`∀X↓B $`↓A@$pβQ(A¬CαA β@i`0&Aj (@j⊂_(j_(j_(j_'@ip_'@ip_'@ip_'↓	 X%αhT λD!ap
β 5_βT`u0α∃`58↓U@50↓U@50↓U@50↓U 5(↓U 5(↓U 5(↓U5 ↓U5 ↓U5 ↓T`4X↓A 4PαA4Pα@`4Pα↓$X↓↓$`αQ(AHFD"⊂πA*p⊂αjP_βj@_∧j@⊂∧@j0_∧A
0_∧A
0_∧A
 _∧A
 _∧A
 _∧@j _∧j _β@j _αA	`0↓A	P8βj⊂_∧J⊂_∧j⊂_∧@j⊂_∧@j_¬↓
_¬@j_¬@j_¬A
_¬A
_¬A	p_¬A	p_¬A	p_¬A	p_¬@ip_↓@@P '@` _α@i`_↓↓@_%↓`0⊂↓@i 8α↓(T 
λ$A 
↓A⊂@β∪@08↓↓ 0 ↓S P8↓` @↓∪ P8↓@  H↓S @Hαα@4p↓α@0X↓V @X↓V 0`↓UαuαA4pα↓`4hαα4`↓B@4Xαα@4Pαα`4Pαα@@hR@@Pαβ∀Pαα  λ↓B`∀Pαα _↓α $Xα↓ 00↓↓ $pβB@T("εdB8
¬↓⊂0¬AJ⊂_α@@p_αip_∧@P⊂∧I`_¬@0⊂∧@iP_ε@⊂⊂¬i@_εA↓0_%A↓P ¬@i0_πa@_%↓↓a⊂%↓↓`_%↓↓`_%↓↓`_%↓↓P %a` %↓↓P %↓↓@(ε@)0_¬@`⊂⊂ε)@⊂¬@@ _¬@)@_∧`@⊂∧@I`⊂α@a⊂α@J0ε↓(T ∞¬c⊃pE@∃xW@%pW ∃ β@∃⊂↓A 5λ↓α5↓α⊂λ↓∪` @↓@$p↓α ⊂_↓∪ 0@A4h↓α⊂(↓S0@A 4`↓A`⊂0↓S00A`4`↓A  8↓S 0A`4`↓↓ ⊂@↓S  B $`↓@`⊂@↓S  ⊂B $h↓ ⊂H↓∪@0@↓∪`0(↓∪@⊂⊂β∪ ∀hS∀XR@$("π%Bp⊂H"↓`-π`λ↓↓↓@ .@ 0 ε@kPλ↓A↓`⊂. @ π@+@λα↓↓pλ-@ @ λ+0λα↓αλ- P λ+⊂⊂αAαλ,@ ` ∧@ `λ,@` ∧@+λβ↓↓⊂λ+@@` ∧@*pλβA↓⊂+! β@ja8*F
Pλ∧↓↓⊂*!⊂ ∧@*@λ∧A↓⊂λ∧*0λ¬↓↓⊂λ∧*0λ¬↓↓⊂λβ@* λ¬A↓⊂λβ@* λ¬↓α λ(@!0 λ@*⊂λ¬Aα⊂λ(!@ λJλε↓↓p⊂'@A@ πiP(¬↓!@(%α@AH%α@AH"Qβbh~λd xβU@@(∃@H∀`0Xαβ E⊂↓C@p↓T@hαβ`$xαC AS`@pα∧∀pαβ`1λS Px↓D ∀hα∧0XA ∀`αC`@XA ∀`α∧@XA ∀XαD@P↓∩`Q↓B`∀PαD 0H↓R@QλπR@Qλ∩@Qαα 4PαD@P↓∩@Q↓B`∀PαD0XR@Q↓B`⊂8R@Pxαα`⊂8R@Pxα∧@∀PαC`A⊂R@Px↓D`∀Xαβ`1⊂R`Phα∧@∀`αβ Aλ↓∪@hα∧$hαβ@x↓S@@PαCdxαααuλ↓AC¬_∧⊃(Ax⊂IDR_⊂+ 8∧*p_β@`@λ*@a0_@J@_εA
0⊂λj⊂_λ@j_λ@ ⊂_(bλ↓@ip_λ@0_'b⊂αi`_λ P &A↓pλβ↓	P_π@ p &↓↓`λ∧↓	@ ε@!⊂ %A↓P⊂∧A	0 ε@!  %A↓@λ¬A	0 ¬@!@ %A↓ λεA	0_¬!P %@a⊂λπ↓	0_∧A` %@aλπ@i0_β@!p %@``λλi0 α" &`0λλ@i@_↓B_&A"_&Aα_'ap_'↓↓P_&@  _¬@I@λα@``_%@@p@%HT ⊂Bar_⊃A`5αTUα∪`TxαS`Txα∪`Dxα∪`Dx↓S`4x↓S`4x↓∪@4p↓S@4p↓∪@$p↓∪@$pS@∀pQ`P⊂↓∩`DPαR`DX↓Q(C`¬β$1@βip('A)p (Hp(α@)pλ'@)pλ'I`⊂'I`⊂&@iP_&@iP_&i@_&i@_%A	0 %A	0 %↓) (%↓) (%↓	 _"Q∧2(∀K∧!(B`∃p↓α@%p↓α@%p↓α@%h↓α@%h↓α@%`↓α@%`↓α@%`↓α@%X↓α@%X↓α@%P↓α@%P↓α@%P↓α@%H↓α@%H↓α@%@↓α@$`⊃∪∧%0↓α@%0↓α@%0↓α@%0↓α@%(↓α@%(↓α@%(↓α@%(↓α@$X⊃∩d%_↓α@%⊂↓α@%⊂↓α@%λ↓α@%λ↓α@%↓α@%↓α@%↓α@$x↓α@$x↓α@$p↓α@$p↓α@$p↓α@$h↓α@$h↓α@$hB`∀("	$∩@∪Ip 
Ip⊂α" _'@`λλiP_βA`_&@@pλ@A  &aλ↓`0 @I@⊂∧@ P_αI0_∧@!@⊂%@a⊂λ¬@I0_∧@! ⊂%a⊂λ¬I _∧@!⊂⊂%a⊂λ∧@I _∧@!⊂%@Aλ∧I0⊂∧ p⊂%@@pλβ@I@⊂α@ p⊂&@ @λ∧I` ∧A ,@@p⊂α+⊂β@@Pλ+@@p⊂β@*`⊂∧@pλ+@p⊂∧*P⊂β@aλ*A_∧@*0⊂∧@aλ)A⊂_∧@* ⊂∧@a⊂λ(@A _∧@*⊂¬@a⊂λ'@A@_∧@)`⊂ε@aλ&@A`_∧)P⊂π@@pλ&B⊂β@)0⊂	 `λ%B0⊂↓@I λhT ∪Aapp⊃`4`αR`dXβ∪0λT∃S`∀xS@∀pS ∀`R`∀PQ(B@λE&∩ λ+⊂λ+@J`⊂*@J@⊂)@J0λ)J⊂⊂(J⊂'@Ip⊂'I`⊂&@iP⊂&@I@_&I@⊂%@i0_%@i0⊂%@I0⊂%@I0⊂%i _%i0⊂%@I0⊂%@I0⊂%@I@⊂&I@⊂&@IP⊂')`⊂'@Jλ(@* λ"Q¬⊃λ	$@@T`∃ U%(↓∃@∃0↓∃@%8↓∃`%8↓⊗%@↓⊗%@↓⊗%@↓⊗5@↓V5@↓⊗%@↓⊗%@↓∃`58↓U`58↓∃`%0↓U@%0↓∃ 5(↓∃ % ↓∃%_↓∀`%⊂↓∀ %λT$x↓∪@$h↓∪$XR@∀("
BAP
	↓0⊂*@JP⊂*@*Pλ&`P⊂βI@ α@@ '`0⊂↓@j_@  _)↓J0_(AIp_@@⊂_&@`0⊂↓@i0 α P %``λβj0λ)J ⊂)J ⊂"Q¬2∩H#A⊂W%X↓⊗`%X↓⊗`%X↓⊗`%P↓⊗@%P↓⊗@%P↓⊗@%H↓⊗ $P⊂∩D¬H↓⊗ %@↓⊗%@↓⊗%@↓⊗%8↓∃`%8↓∃`%8↓∃`%0↓∃`∀("pPπ↓0_&↓)00%AI@_@*λ()pλ'@)`λ')Pλ&)0λ%(T ↔↓!⊂ α@$Xα∩@TXα∩`4("c!X_	β⊂λ1L⊂⊂0@L⊂0Kp⊂/@K`⊂/KP⊂.@K@⊂.K0⊂-@K ⊂-K⊂⊂,@K⊂,Jp⊂+@J`⊂+JP⊂*@J@⊂*J0⊂)@J ⊂)J⊂⊂(@J⊂'@Ip⊂'I`⊂&@IP⊂&I@⊂%@I0⊂%I0λ"Qπ @ε¬α@(↓∪@DhαS Tp↓Qa0⊂↓∩`DPαR`DX↓Q(CX∧Cβa βIp '↓)`('@hpX↓@I@ %A)0(&↓	pλ'@)`λ')`λ&@)@λ&)0λ%(T ≡HD`Xλ@Ct`∂Qaλ∂Rct("⊂∧α0⊃λAp8+`p_*APλ)@"⊂(@B0λ("Pλ'@"pλ'@!⊂(¬)`λβ@`P⊂∧)Pλβ@A⊂λβ@)@λβ@A0λβ@)@λβA@ α)0λβaP_α)0λα@a`_α)0λα@aP_α@) λα@a`_α@) λα@a`_α@) λα@a`_α@) λα@a`_α@) λα@a`_α@) λα@aP_α@) λα@aP_α@) λα@aP_α@) λβA@ α@) λβa λ@`@λ% p_∧  _α)0λβ@`P⊂α@0λ%@!⊂0βA	@λ&)Pλ'"P '@B((@A ()BhT -Cb#∩αu⊂βT@%⊂↓∀ %λ↓∀ %λ↓∀ %λ↓∀%↓∀%↓∀%↓∪`$x↓∪`$x↓∪`$x↓∪@$p↓∪@$p↓∪@$p↓∪ $h↓∪ $h↓∪ $h↓∪$`↓∪$`↓∪$`↓∩`$X↓∩`$X↓∩`$X↓∩@$PβR@t("↔!pp_	↓8)↓jp⊂+@J`⊂+J`⊂+J`⊂+JP⊂*@JP⊂*@JP⊂*@J@⊂*J@⊂*J@⊂*J0⊂)@J0⊂)@J0⊂)@J ⊂)J ⊂)J ⊂)J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂(J⊂(J⊂(Ip⊂%↓i 8"Q8πβD 0S`∀pS ∀`S∀XR`∀PR@∀P@ 4Pβ∩@dXα∪$("∧@q⊂∧H@⊂⊂%↓	0_&i@_&@i`⊂'@Ip⊂((T 	BCH⊃↓`5α∀4x↓S@4h↓S4`R`∀("¬↓A8αG@⊂∧I0⊂βI@_↓iP('hT 
CC⊂@⊃⊂`R@⊂XR@⊂XR@⊂P↓∩@⊂PR@ @↓∩` (↓S↓∧hαQ(A0	ε@↓`∧HT B#P@⊃@`D`A$XA@∀XA@∀PA`∀PA`∀PA@∀XA$`α⊃(0β∂x␈␈␈pPα∨x␈␈}ox␈␈␈`(↓S`Eλα∀@E_↓T@5λα∩A∀("λ↓@xα∧A ⊂(↓IP8%↓I _"Q`hAd 8T4xαS@ ⊂↓∪   ↓∪ 0↓∩` @R@⊂XQ(ExαC@Bλ↓I0 %↓) (%@hT >Cc H⊃↓0(↓S@0(↓S 0(↓S  0↓∪0(↓S 0↓∩` 0↓∩`⊂8R@⊂8Q(Gpλε Bαaλ&A `⊂&@0⊂α)0λβ↓) λ∧hT ?CC ⊂@@ 8↓∩`@(α∩@P αR@P αR`00↓Q(@X⊃I∧"⊂λ↓@`(,`P⊂↓`0⊂+`p(α↓
P_βA @(*`p0α↓*0_∧↓ `_)@a⊂ )@a _)a _)a _)a _)a _)a _)a _&εiAX(@a _(@a _(@a _(@a _(a _(a _(a _(a _(a _(a _'@a _'@a _'@a _'@a _'@a _'@a _'↓↓⊂ %α`0X%α@@X"Q↓AP
HD!βV00U@0HU 0@α∃0@αT`0HαT`0Hα∀`0P↓∀@5⊂↓T@5⊂↓T@5⊂↓Sαd`∀ 0Pα∀ 0X↓T 0X↓T 0X↓T0X↓T0X↓T0X↓T0X↓T0X↓T0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S`0X↓S@@Pα∩A0_¬RA0_¬Q(@h
G∧"⊂λα⊂⊂,`` +`p *@`p(*a()@a  )@a0_)@a0_)a0_)a0_)a0_)a0_)a0_)a0_&¬IA0(@a0_(@a0_(@a0_(@a0_(a0_(a0_(a0_(a0_(a0_(a0_'@a0_'@a0_'@a0_'@a0_'@a0_'@a0_'↓↓  %α`0X%α`0X"Q↓b@∀HD!βA`u@↓A@⊂ ↓A@∃0↓B ⊂λ↓B ∃(↓B`@α∃0@βαU_↓B PHαT`0HαB E_↓B@@P↓∀@0X↓T@0X↓T@0X↓T@0X↓T@0X↓T@0X↓S∧D`∩∀ 0X↓B@Eλ↓B`0X↓T 0X↓B`5λ↓B`0X↓T0X↓B`5↓B`0X↓T0X↓B`5↓B`0X↓T0X↓B`5↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S`0X↓B`4x↓B`0X↓S@@Pαα@DP¬@a0_¬RA0_¬@a4("βe∩P⊃λB8βB⊂⊂,``⊂↓@`` +`p8βA
P_βA`p(*a0∧↓*0_∧A!  )@a  ¬@j0_¬@a0_)a0_¬@j _¬@a0_)a0_¬@j _¬@a0_)a0_¬@j _¬@a0_&		B (@a0_¬@j⊂_¬@a0_(@a0_¬@j⊂_¬@a0_(a0_¬@j_¬@a0_(a0_¬@j_¬@a0_(a0_¬@j_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_'@a0_¬@ip_¬@a0_'↓↓  ¬↓	 X↓B`0X%α`0X↓BhT ⊃∧"pp⊃`08↓SP(αR`` β∩`` β∪0λA 0λT⊂HT⊂HS`⊂HS`⊂HS@⊂HS@⊂HS ⊂HS⊂HR`⊂HR@⊂HQ(Bhεβ`⊂Xβ	 `"QAλ
CD 0B ∀xB ∀pB ∀hB ∀`B ∀`B ∀XB ∀XB ∀PB ∀PB ∀P@ 0(@ 4Pβ↓dPβ↓dXα↓@D`↓α$("≡c↓Pβ↓@"Q∂Cλ→@↓@_Q=px4YVp:~,fH2\D∧_&TiNx
Xmv 4[Lw_1ZVh2H
F(,λ∞F(<≥≥p`3≠mg 3_,6(1≡.F(y@≥ >~q@
∞
p_∩@ ⎇M` ⎇M␈␈x␈␈ 
␈␈x␈|`	≡`∂@↓ ↓↓@?⎇@∩Pβ*U@β
p{Dpε≤9 ε,∨0↓H`X∞≤`
α↑` ⊂@↓*PV@↓PF⎇@R(β⊂β.0{↓D@¬cG0εn∨0βI``8r@
y≡`@∩↓8p≥@↓`*⎇A∩8β∞≤PβN@{αD@¬cG0π/␈0¬G H*V_u↑``∞↓∞_Hβ⊂8⎇AQ`α≤9ε/⊂{βE εU+p∨0πJ@h*V~∩≡aπGλdα S=B⊂x↓≤9∧M8{∧C⊂∧ O0	F @@_∨}a @↓↓βL=BQHα⊂ε
x{¬C⊂∧ ~o0J`x
@_7}a@q`9@βλβ=C⊃Hα_∧R0{εD@¬cG0	7␈0
I``8r@∪∞≡a`@↓↓α0]⎇CRhβN≤P∧t@{πF0λ∞≤`
α∨0∂I``8r@∀9↑bπGλdβλ_=D⊂p↓∞≤@¬≠8{λC⊂∧ 
#?0⊃J@h*V∃⊃>b @↓↓α⊂G=DRPβ*U@¬/@{	Dpε≤9 λh∨0∪C@ 8r∃|}b@	@c@r@α`
=E⊃_↓G∞(¬H({
C⊂∧ ≡∂0∃I``8r@⊗P>b`πGλdαhF=EQλ↓*U0εV⊂{A`α≤96?0↔F @@⊗q≡c@↓↓↓p∩=F⊃Hα⊂βjx{C⊂∧ π←/0→F @@∂X>c @↓↓↓xg=FQHα⊂∧βH{
C⊂∧ λ∃O0≠F @@⊂L>c@@↓↓αλD=G⊃Hα⊂∧ H{∞A`α≤9E←0≥C@ 8r↔∩↑c`πGλdαH␈=GR8β∞≤P¬gX{∂CβcG0	
∨0∨F8G∞`⊃␈≡d∪@↓GλeαpF=H∩(β⊂α_{⊂D0¬U+∀O0!IXG∞`J>d ∪↓C@sλW=HR⊂α\9#({⊃D⊂¬≤9 X/0#I``G∞`↓N>d@∩@↓@↓_d=I⊃⊂↓8qhE_{∩C ∧∞≤P↓∪o0%I``8r@α?>d`∂@↓ ↓(J=IRpβU*h←({∪DPε ↓←∂0'I``8r@βm>e⊃↓._H@$=J∩8β∞≤P↓λ{∀DP¬qc`α.O0)G@qd¬α>e ∩↓8p≥@PD=JR(β⊂↓/X{∃DPε αq/0+L`↓8r@ε∧>e@∩@↓@↓hα=K∩(β⊂↓XH{⊗C`∧qc`β?∂0-C@ 8r↔Z}e`@↓↓β(6⎇KPp↓∞≤@¬⎇ {↔C⊂∧ (∨0/C@ 8r_X↑fπGλdβ≡⎇L⊃Hα⊂↓fx{_C@∧8rβZ/01E@8∞≤`πT}f ∞↓∞_HxL=LQ0↓cG_α↓8{→Apα8r∧∂03F @@λ-}f@∞↓∞_H↓λ≥=M⊂p↓∞≤@α≠({~Apα8r∧>/05F@@8r@	∪>f`πGλd↓⊂b=MRPβ*U@α1λ{≠C@∧8r∧so07F @@	␈>g∞↓∞_H↓ *=N⊃Pα∞≤@αLX{≤B@β⊃λ`¬(O09E0'i@
a>g 	@c@r@↓(k=NQ`α≤9αbX{≥C ∧≤9 ¬QO0;IXG∞`7}g@
↓πλe↓86=O⊃Pα∞≤Pα{x{≡B`βG∞0εε∂0=F @@~m≡g`→α↓@β(↑⎇OQHα⊂ε↔_{∨C⊂∧ 3o0?F @@_n␈⊂
@__ow{⎇x